Relaxing the Value Restriction
http://caml.inria.fr/pub/papers/garrigue-value_restriction-fiwflp04.pdf
Polymorphic type inference and assignment
よりも型システムの変更が小さそうに見える
Abstruct
ML風のプログラミング言語において,多相性を値のみに制限することで健全性を得るのはいまや主流になっている
この手法は素晴らしいが,多くの多相的で健全な式を弾いてしまっている
subtypingベースの手法によって,type algebraに変更を加えることなく失われた多相性を取り戻す
用語
type algebra
型の代数?
ベースとなった型システムのことだろうか
References
Simple Imperative Polymorphism
#論文